2

On binary reflected Gray codes and functions

Martin W. Bunder, Keith P. Tognetti, Glen E. Wheeler
Journal:
Discrete Mathematics
Année:
2008
Langue:
english
Fichier:
PDF, 158 KB
english, 2008
3

Locating terms in the Stern–Brocot tree

Bruce Bates, Martin Bunder, Keith Tognetti
Journal:
European Journal of Combinatorics
Année:
2010
Langue:
english
Fichier:
PDF, 720 KB
english, 2010
4

Implementing the ‘Fool's model’ of combinatory logic

Robert K. Meyer, Martin W. Bunder, Lawrence Powers
Journal:
Journal of Automated Reasoning
Année:
1991
Langue:
english
Fichier:
PDF, 1.69 MB
english, 1991
5

Child’s addition in the Stern–Brocot tree

Bruce Bates, Martin Bunder, Keith Tognetti
Journal:
European Journal of Combinatorics
Année:
2012
Langue:
english
Fichier:
PDF, 293 KB
english, 2012
6

Pure Type Systems with More Liberal Rules

Martin Bunder and Wil Dekkers
Journal:
Journal of Symbolic Logic
Année:
2001
Langue:
english
Fichier:
PDF, 425 KB
english, 2001
7

On adding (ξ) to weak equality in combinatory logic

Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P.
Journal:
Journal of Symbolic Logic
Année:
1989
Langue:
english
Fichier:
PDF, 400 KB
english, 1989
8

Closed form expressions for two harmonic continued fractions

Bunder, Martin, Tonien, Joseph
Journal:
The Mathematical Gazette
Année:
2017
Langue:
english
Fichier:
PDF, 95 KB
english, 2017
9

Combinatory abstraction using B, B′ and friends

Peter Trigg, J.Roger Hindley, Martin W. Bunder
Journal:
Theoretical Computer Science
Année:
1994
Langue:
english
Fichier:
PDF, 1017 KB
english, 1994
10

Linking the Calkin–Wilf and Stern–Brocot trees

Bruce Bates, Martin Bunder, Keith Tognetti
Journal:
European Journal of Combinatorics
Année:
2010
Langue:
english
Fichier:
PDF, 534 KB
english, 2010
12

Unique representations of integers using increasing sequences

Bunder, Martin W.
Journal:
Journal of Number Theory
Année:
2014
Langue:
english
Fichier:
PDF, 284 KB
english, 2014
13

A generalized attack on RSA type cryptosystems

Bunder, Martin, Nitaj, Abderrahmane, Susilo, Willy, Tonien, Joseph
Journal:
Theoretical Computer Science
Année:
2017
Langue:
english
Fichier:
PDF, 464 KB
english, 2017
14

On the self matching properties of [jτ]

Martin Bunder, Keith Tognetti
Journal:
Discrete Mathematics
Année:
2001
Langue:
english
Fichier:
PDF, 106 KB
english, 2001
16

1993 Annual Meeting of the Australasian Association for Logic, Adelaide, Australia, July 9-11, 1993

Martin Bunder
Journal:
Journal of Symbolic Logic
Année:
1994
Langue:
english
Fichier:
PDF, 196 KB
english, 1994
19

1992 Annual Meeting of the Australasian Association for Logic

Slaney, John, Bunder, Martin W.
Journal:
Journal of Symbolic Logic
Année:
1993
Langue:
english
Fichier:
PDF, 689 KB
english, 1993
20

Self-matching bands in the paperfolding sequence

Bates, Bruce, Bunder, Martin, Tognetti, Keith
Journal:
Applicable Analysis and Discrete Mathematics
Année:
2011
Langue:
english
Fichier:
PDF, 226 KB
english, 2011
21

Mirroring and interleaving in the paperfolding sequence

Bruce, Bates, Martin, Bunder, Keith, Tognetti
Journal:
Applicable Analysis and Discrete Mathematics
Année:
2010
Langue:
english
Fichier:
PDF, 266 KB
english, 2010
22

Weaker D-Complete Logics

MEGILL, NORMAN D., BUNDER, MARTIN W.
Journal:
Logic Journal of IGPL
Année:
1996
Langue:
english
Fichier:
PDF, 360 KB
english, 1996